1301. Understanding parallel supercomputing

پدیدآورنده:

کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)

موضوع: Parallel processing )Electronic computers( , Supercomputers

رده :
QA
76
.
58
.
H68
1998

1302. Understanding parallel supercomputing

پدیدآورنده:

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Parallel processing )Electronic computers(,، Supercomputers

رده :
QA
76
.
58
.
H68
1998

1303. Understanding parallel supercomputing

پدیدآورنده:

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع: ، Parallel processing )Electronic computers(,، Supercomputers

رده :
QA
76
.
58
.
H68
1999

1304. Universal multiservice networks : Third European Conference, ECUMN 2004, Porto, Portugal, October 25-27, 2004 : proceedings

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Congresses ، Computer networks,Congresses ، Parallel processing )Electronic computers(

رده :
QA
76
.
L28
Vol
.
3262

1305. Use of high performance computing in meteorology :

کتابخانه: کتابخانه موسسه ژئوفيزيك دانشگاه تهران (تهران)

موضوع: Meteorology,Atmospheric physics,Parallel processing (Electronic computers),Supercomputers

رده :
QC
874
.
3
.
E23
2005

1306. Using MPI : portable parallel programming with the message-passing interface

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: ، Parallel programming )Computer science(,Programming ، Parallel computers,، Computer interfaces

رده :
QA
76
.
642
.
G76U7
1999

1307. Using OpenCL

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: OpenCL (Computer program language),Parallel computers.,Parallel programming (Computer science)

1308. VLSI & parallel computing for pattern recognition & artificial intelligence

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Pattern recognition systems,، Artificial intelligence,، Integrated circuits-- Very large integration,، Parallel processing )Electronic computers(

رده :
TK
7882
.
P3
.
V75
1995

1309. Vector and parallel processing-VECPAR'96 : Second International Conference on Vector and parallel processing-systems and applications, Porto, Portugal, September 25-27, 1996 : Selected papers

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Congresses( ، Parallel processing )Electronic computers(,Congresses ، Vector processing )Computer science(

رده :
QA
76
.
L28
Vol
.
1215

1310. Vector and parallel processing VECPAR'98 : Third International Conference, Porto, Portugal, June 1998 : selected papers and invited talks

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Congresses ، Parallel processing )Electronic computers(,Congresses ، Vector processing )Computer science(

رده :
QA
76
.
L28
Vol
.
1573

1311. Vector and parallel processing-VECPAR 2000 : 4th International Conference, Porto, Portugal, June 21-23, 2000 : selected papers and invited talks

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Congresses ، Parallel processing )Electronic computers(,Congresses ، Vector processing )Computer science(

رده :
QA
76
.
L28
Vol
.
1981

1312. Verifying concurrent processes using temporal logic

پدیدآورنده:

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)

موضوع: ، Parallel processing )Electronic computers(,، Computer programs - Verification

رده :
QA
76
.
L4
v
.
129

1313. Verifying concurrent processes using temporal logic

پدیدآورنده:

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Parallel processing )Electronic computers(,، Computer programs-- Verification

رده :
QA
76
.
6
.
H295
1982

1314. Verifying concurrent processes using temporal logic

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: ، Parallel processing )Electronic computers(,، Computer programs -- Verification

رده :
QA
76
.
L28
Vol
.
129

1315. WOPPLOT 83 : Parallel Proceeding : Logic, Organization and Technology : Proceedings of a Workshop held at the Federal Armed Forces University Munich )HSB w M( Neubiberg, Bavaria, Germany, June 27-29,1983

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Congresses ، Parallel processing )Electronic computers(

رده :
QC
3
.
L28
Vol
.
196

1316. WOPPLOT 83: parallel processing-- Logic, organization, and technology: proceedings of a workshop held at the Federal Armed Forces University Munich )HSBw M( Neubiberg, Bavaria, Germany, June 27-29, 1983

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Parallel processing )Electronic computers(-- Congresses

رده :
QA
76
.
6
.
W685
1983

1317. WOPPLOT 86: parallel processing--logic, organization, and technology : proceedings of a workshop, Neubiberg, Federal Republic of Germany, July 2-4, 1986

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Congresses ، Parallel processing )Electronic computers(

رده :
QA
76
.
L28
Vol
.
253

1318. WOPPLOT 86 : parallel processing--logic, organization, and technology : proceedings of a workshop, Neubiberg, Federal Republic of Germany, July 2-4, 1986

پدیدآورنده:

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)

موضوع: Congresses ، Parallel processing )Electronic computers(

رده :
QA
76
.
L4
v
.
253

1319. WOPPLOT 83 : parallel processing--logic, organization, and technology : proceedings of a workshop held at the Federal Armed Forces University Munich )HSBw M( Neubiberg, Bavaria, Germany, June 27-29, 1983

پدیدآورنده:

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)

موضوع: Congresses ، Parallel processing )Electronic computers(,، VM/CMS )Computer operating system(

رده :
QA
76
.
6
.
W685
1983

1320. advanced computer architecture and parallel processing

پدیدآورنده:

کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)

موضوع: Computer architecture,Parallel processing )Electronic computers(

رده :
QA
76
.
9
.
A73
,
A24
2005